81. Formal methods for industrial critical systems :
Author: Gwen Salaün, Bernhard Schätz (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
I58
2011
82. Formal methods for industrial critical systems
Author: Mariëlle Stoelinga, Ralf Pinger (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
I594
2012eb
83. Formal methods for protocol engineering and distributed systems :
Author: edited by Jianping Wu, Samuel T. Chanson, Qiang Gao.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.
Classification :
QA76
.
9
.
F67
E358
1999
84. Formal techniques for distributed objects, components, and systems :
Author: Jorge A. Pérez, Nobuko Yoshida (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
Classification :
QA76
.
9
.
D5
.
F67
2019
85. Formal techniques for networked and distributed systems
Author: / Edited by Myungchul Kim ... [et al.]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
F67I579
2001
86. Formal techniques for networked and distributed systems :FORTE 2001 : IFIP TC6 WG6.1--21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
Author: edited by Myungchul Kim ... ]et al.[
Library: Central Library of Hamedan University of Technology (Hamedan)
Subject: Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing - Distributed processing,Congresses ، Computer network protocols
Classification :
QA
76
.
9
.
F67
I579
87. Formal techniques for networked and distributed systems: 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea [electronic resource]
Author: / Edited by Myungchul Kim ... [et al]
Library: Imam Reza International University library and information center (Khorasan Razavi)
Subject: Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
Classification :
EB
,
QA76
.
9
.
F67
,
I579
2001
88. Formal verification of object-oriented software :
Author: Bernhard Beckert, Claude Marche (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Object-oriented methods (Computer science), Congresses
Classification :
QA76
.
76
.
V47
F68
2011
89. Foundational and practical aspects of resource analysis :
Author: Ricardo Peña, Marko Eekelen, Olha Shkaravska (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Computer software -- Development.
90. Foundations of computer software
Author: Radu Calinescu, Ethan Jackson (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
76
.
D47
M66
2011
91. Foundations of computer software : modeling, development, and verification of adaptive systems, 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010 : revised selected papers
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: Development -- Congresses ، Computer software,Verification -- Congresses ، Computer software,Congresses ، Software engineering
Classification :
QA
76
.
76
.
D47
.
M666
2011
92. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
93. Foundations of software science and computation structures
Author: Jerzy Tiuryn (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,System analysis, Congresses.
94. Fundamental approaches to software engineering :
Author: Alessandra Russo, Andy Schürr (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Software engineering, Congresses.,Computer science.,Computers / Software Development & Engineering.,Software engineering.
Classification :
QA76
.
758
.
F37
2018eb
95. Fundamental approaches to software engineering
Author: Juan de Lara, Andrea Zisman (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
F44
2012eb
96. Hardware and software
Author: / Hana Chockler, Alan J. Hu (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses,Software architecture--Congresses,Computer input-output equipment--Congresses,Computer software--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
I54
,
2008
97. Hardware and software
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: output equipment ; Congresses. ; Computer software ; Verification ; Congresses. ; -Computer programs ; Verification ; Congresses. ; Software architecture ; Congresses. ; Computer input
98. Hardware and software: verification and testin
Author: / Sharon Barner ... [et al.] (Eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer software, Verification, Congresses,Electronic books
Classification :
QA76
.
76
.
V47
,
I58
,
2011eb
99. Hardware and software, verification and testing
Author: / Eyal Bin, Avi Ziv, Shmuel Ur (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer systems--Verification--Congresses,Computer software--Verification--Congresses,Computer programs--Verification--Congresses,Integrated circuits--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
I54
,
2006
100. Hardware and software, verification and testing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Computer programs ; Verification ; Congresses. ; Integrated circuits ; Verification ; Congresses. ;
